formal notation
英 [ˈfɔːml nəʊˈteɪʃn]
美 [ˈfɔːrml noʊˈteɪʃn]
网络 正式标记法
双语例句
- Still, the formal semantics for the hierarchical composition of connectors was defined using CSP notation.
还使用CSP符号给出了层次组合连接器的形式语义。 - The formal description uses Z and Object-Z notation.
形式化描述采用Z和Object-Z的符号系统。 - Z is a kind of formal specification basing notation.
Z是一种基于状态的形式规格说明语言。 - The presentation of semantics uses formal specification language Object-Z notation.
语义的表示采用形式化规范语言Object-Z的符号系统。 - Formal Specification of UML Use Case Diagram with Z Notation
UML用例图的Z形式规范